401. Self-regularity
پدیدآورنده : / Jiming Peng, Cornelis Roos and Tam??s Terlaky
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Mathematical optimization.,Interior-point methods.,Programming (Mathematics)
402. Self-regularity: a new paradigm for primal-dual interior-point algorithms
پدیدآورنده : Peng, Jiming
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Mathematical optimization,، Interior-point methods,، Programming )Mathematics(
رده :
QA
402
.
5
.
P4185
403. Software engineer's pocket book
پدیدآورنده : Michael Tooley.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software -- Development -- Handbooks, manuals, etc.,Computer software -- Development.,Software engineering -- Handbooks, manuals, etc.
404. Software engineering in C
پدیدآورنده : Peter A. Darnell, Philip E. Margolis.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : C (Computer program language),Programmatuurtechniek.,Software engineering.
رده :
QA76
.
76
.
D47
P484
1988
405. Solving Fractional Optimal Control Problems Using Hermite Cubic Spline Multiwavelets
پدیدآورنده : Araz Noori Ismael,Ismael,
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : fractional-order optimal control,Caputo fractional derivative, Caputo-Fabrizio fractional derivative ,Riemann–Liouville fractional integration, biorthogonal Hermite cubic spline multiscaling base.,کنترل بهینه مرتبه کسری، مشتق کسری کاپوتو، مشتق کسری کاپوتو-فابریزیو، ادغام کسری ریمان-لیوویل، پایه چند مقیاسی اسپلین مکعبی هرمیت دو ضلعی.
406. Some Tapas of Computer Algebra
پدیدآورنده : edited by Arjeh M. Cohen, Hans Cuypers, Hans Sterk.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra-- Data processing.,Algebra.,Algorithms.,Combinatorics.,Mathematics.
407. Stochastic Optimization: Algorithms and Applications
پدیدآورنده : edited by Stanislav Uryasev, Panos M. Pardalos.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Electronic data processing.,Mathematical optimization.,Mathematics.,Operations research.
408. Stochastic local search :
پدیدآورنده : Holger H. Hoos, Thomas Stützle.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algorithms.,Combinatorial analysis.,Stochastic programming.,Algorithmes.,Analyse combinatoire.,Programmation stochastique.,Algorithms.,Combinatória.,Combinatorial analysis.,Heurística.,Inteligência artificial.,MATHEMATICS-- Optimization.,Otimização combinatória.,Stochastic programming.
رده :
T57
.
79
.
H66
2005eb
409. Stream Cipher
پدیدآورنده : / by Andreas Klein
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Mathematics,Computational complexity,Algorithms,Electronic books
رده :
E-BOOK
410. Structural information and communication complexity :
پدیدآورنده : Zvi Lotker, Boaz Patt-Shamir (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks, Congresses.,Digital communications, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Algorithms & data structures.,Computer networking & communications.,Computer networks.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Operating Systems-- General.,Computers-- Programming-- Algorithms.,Digital communications.,Discrete mathematics.,Electronic data processing-- Distributed processing.,Operating systems.
رده :
QA76
.
9
.
A43
411. Structured Adaptive Mesh Refinement (SAMR) Grid Methods
پدیدآورنده : edited by Scott B. Baden, Nikos P. Chrisochoides, Dennis B. Gannon, Michael L. Norman.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Combinatorics.,Mathematics.,Numerical analysis.
412. Symbolic Algebraic Methods and Verification Methods
پدیدآورنده : edited by Götz Alefeld, Jiří Rohn, Siegfried Rump, Tetsuro Yamamoto.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra -- Data processing.,Computer science.,Mathematics.
رده :
QA76
.
9
.
M35
E358
2001
413. Symposium on Semantics of Algorithmic Languages
پدیدآورنده : edited by E. Engeler
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages,Congresses ، Algorithms
رده :
QA
3
.
L28
Vol
.
188
414. Symposium on semantics of algorithmic languages
پدیدآورنده : edited by E. Engeler
کتابخانه: (طهران)
موضوع : Semantics -- Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages,Congresses ، Computer algorithms
رده :
QA
76
.
7
.
S9
1971
415. Symposium on semantics of algorithmic languages
پدیدآورنده : edited by E. Engeler
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Programming languages )Electronic computers( - Semantics,Congresses ، Formal languages,Congresses ، Computer algorithms
رده :
QA
1
.
L4
v
.
188
416. Symposium on semantics of algorithmic languages
پدیدآورنده : edited by E.Engeler
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages,Congresses ، Algorithms
رده :
QA
3
.
L28
no
.
188
417. Systolic Computations
پدیدآورنده : by M.A. Frumkin.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Mathematics.,Software engineering.
418. Ten applications of graph theory
پدیدآورنده : Hansjoachim Walther.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Science.,Discrete Mathematics in Computer Science.,Graph theory.
رده :
QA166
.
H367
9999
419. The Logic of Logistic
پدیدآورنده : / electronic resource
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Mathematics,Industrial engineering,Economics, Mathematical,Mathematics,Operations Research, Management Science,Production/Logistics/Supply Chain Management,Industrial and Production Engineering,Game Theory/Mathematical Methods
رده :
E-BOOK
420. The Logic of Partial Information
پدیدآورنده : by Areski Nait Abdallah.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer algorithms.,Computer science.,Programming languages (Electronic computers) -- Semantics.
رده :
QA76
.
7
B937
1995
